((v1 v3 6) (v2 v3 4))
43
((v3 v2))